Computational Modeling and Analysis of Therapeutical Interventions for Depression

Depressions impose a huge burden on both the patient suffering from a depression as well as society in general. In order to make interventions for a depressed patient during a therapy more personalized and effective, a supporting personal software agent can be useful. Such an agent should then have a good idea of the current state of the person. A computational model for human mood regulation and depression has been developed in previous work, but in order for the agent to give optimal support during an intervention, it should also have knowledge on the precise functioning of the intervention in relation with the mood regulation and depression. This paper therefore presents computational models for these interventions for different types of therapy. Simulation results are presented showing that the mood regulation and depression indeed follow the expected patterns when applying these therapies. The intervention models have been evaluated for a variety of patient types by simulation experiments and formal verification.